Regular Languages: Deterministic Finite Automaton